Monotone retractability and retractional skeletons
نویسندگان
چکیده
منابع مشابه
On Monotone Retractability into Simple Arcs
Radó has noted that (II) implies (r) and that the sphere and 2-cell each have (II). In this paper it will be shown that (1) for locally connected continua in general, property (II) is equivalent to unicoherence, (2) for plane locally connected continua, property (ir) is equivalent to unicoherence, and (3) every closed 2-dimensional connected manifold has property (x). To clarify our meaning, we...
متن کاملStraight Skeletons of Monotone Polygons
We study the characteristics of straight skeletons of strictly monotone polygonal chains, and use them to devise an algorithm for computing positively weighted straight skeletons of strictly monotone polygons. Our algorithm runs in O(n log n) time and O(n) space.
متن کاملRetractability, games and orchestrators for session contracts
Session contracts is a formalism enabling to investigate client/server interaction protocols and to interpret session types. We extend session contracts in order to represent outputs whose actual sending in an interaction depends on a third party or on a mutual agreement between the partners. Such contracts are hence adaptable, or as we say “ affectible”. In client/server systems, in general, c...
متن کاملReversivity, Reversibility and Retractability (meta 2012)
Three essentially different but usually mixed notions of program invertibility are considered. Reversivity when each action has a full inverse. Reversibility when each action can be undone (right inverse). Retractability when erroneous result can be retracted down to error in data. Constructive logical, algebraic, programming and realization aspects are considered for those types of programs.
متن کاملEntrenchment and Retractability: A Preliminary Report
In the coherentist approach to belief change, all beliefs are assumed to be ordered according to their epistemic entrenchment. On the other hand, in the foundational approach to belief change, which explicitly distinguishes “basic” beliefs from “inferred” beliefs, basic beliefs are ordered according to their retractability. Both entrenchment and retractability are distinct tie-breaking mechanis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 2015
ISSN: 0022-247X
DOI: 10.1016/j.jmaa.2014.09.029